- верификатор условий
- assertion checker
Русско-английский словарь по машиностроению. Академик.ру. 2011.
верификатор условий
Смотреть что такое "верификатор условий" в других словарях:
верификатор условий — Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях. [Домарев В.В. Безопасность… … Справочник технического переводчика
автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier … Справочник технического переводчика
